601. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
پدیدآورنده : Michel Bidoit, Max Dauchet )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1214
602. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
پدیدآورنده : Internation Joint Conference on theory and Practice of Software Development, edited by G.Goos and J. Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
رده :
QA
76
.
76
.
D47
I57
1985
603. Tapsoft, 91 Proceedings of the internation Join Conference on Theory and Practice of Software Development
پدیدآورنده : International Joint Conference on the any and Practice of Software Development, S.Abramsky, T.S.E.Maibaum; editor by G.Goos and J.Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Software - Developmenyt - Congresses,، Software - engineering - Congresses
رده :
QA
76
.
76
.
D47
I57A
1991
604. Tenth Conference on Software Engineering Education & Training: April 13-16, 1997, Virginia Beach, Virginia
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Software engineering-- Study and teaching )Higher(
رده :
QA
76
.
758
.
C687
1997
605. Testing software and systems
پدیدآورنده : Brian Nielsen, Carsten Weise (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
T48
I28
2012eb
606. Testing software and systems.
پدیدآورنده : \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرمافزار -- آزمایش -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,
607. The First International Coference on Requirements Engineering, April 18- 22, 1994
پدیدآورنده : International Coference on Requirements Engineering )1st: 4991 : Colorado Springs, Colorado(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Software engineering- Congresses
608. The common component modeling example
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Component software ; Congresses. ; Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ;
609. The 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, November 7-11, 2005
پدیدآورنده : Sponsored by IEEE Computer Society, ACM Software Research, University of California, Irvine, Department of Computing, City University, London ]and[ Donald Bren School of Information and Computer Sciences, University of California, Irvine
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer-aided software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I442
2005
610. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلر‌ها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه ن‍وی‍س‍ی ,مهندسی ن‍رم اف‍زار
رده :
QA76
.
76
.
T46
2015
E-Book
,
611. Third International Conference on Software Engineering for Real Time Systems, 16-18 September 1991
پدیدآورنده : organised by the Computing and Control Division of the Institution of Electrical Engineers, in association with ACME Directorate of SERC ... ]et al.[
کتابخانه: (طهران)
موضوع : Real-time data processing - Congresses , Software engineering - Congresses
رده :
QA
76
.
54
.
I56
1991
612. Time-Frequency Domain for Segmentation and Classification of Non-stationary Signals
پدیدآورنده : / Ali Moukadem, Djaffar Ould Abdeslam, Alain Dieterlen.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Signal processing--Digital techniques--Data processing,Software engineering.,Information technology--Congresses,Software engineering--Congresses
رده :
TK5102
.
9
.
M685
2014
613. Tools for working with guidelines :
پدیدآورنده : Jean Vanderdonckt and Christelle Farenc (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
I584
2001
614. Trends and Applications in Software Engineering
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Software engineering,نرمافزار -- مهندسی -- کنگره‌ها,نرمافزار -- مهندسی
رده :
E-Book
,
615. Trends and applications in software engineering :
پدیدآورنده : Jezreel Mejia [and 4 others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Programming-- General.,Software engineering.,Sports & outdoor recreation.
رده :
QA76
.
758
.
I58
7th
2018eb
616. Trends and applications in software engineering :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
617. Trends in software testing
پدیدآورنده : \ Hrushikesha Mohanty J.R. Mohanty Arunkumar Balakrishnan, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,نرمافزار -- مهندسی-- کنگره‌ها
رده :
E-book
,
618. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
پدیدآورنده : Luciano Baresi...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
619. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
620. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
رده :
.
V4
2016
E-Book
,
